var pic = document.getElementById("pic");
var index = 1;

// function gif() {
// 	if (index > 9) {
// 		index = 1;
// 	}
// 	pic.innerHTML = "<img src='img/" + index + ".jpg'/>";
// 	index++;
// };

function animloop() {
	// gif();
	if (index > 9) {
		index = 1;
	}
	pic.innerHTML = "<img src='img/" + index + ".jpg'/>";
	index++;
	window.requestAnimationFrame(animloop);
};
window.requestAnimationFrame(animloop);